모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서
1
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
년:
2008
언어:
english
파일:
PDF, 5.15 MB
5.0 / 5.0
english, 2008
4
Kurt Gödel: The Princeton Lectures on Intuitionism

Kurt Gödel: The Princeton Lectures on Intuitionism

Maria Hämeen-Anttila (editor), Jan von Plato (editor)
년:
2021
언어:
english
파일:
PDF, 1.01 MB
0 / 0
english, 2021
5
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
년:
2011
언어:
english
파일:
PDF, 1.56 MB
0 / 0
english, 2011
6
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
년:
2022
언어:
english
파일:
PDF, 877 KB
5.0 / 5.0
english, 2022
7
Kurt Gödel

Kurt Gödel

Maria Hämeen-Anttila, Jan von Plato
년:
2023
언어:
english
파일:
PDF, 4.39 MB
0 / 5.0
english, 2023
8
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
년:
2008
언어:
english
파일:
PDF, 5.37 MB
5.0 / 0
english, 2008
9
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Jan von Plato
년:
2022
언어:
english
파일:
PDF, 1.47 MB
0 / 5.0
english, 2022
11
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato
년:
2017
언어:
english
파일:
PDF, 1.99 MB
5.0 / 0
english, 2017
12
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
년:
2011
언어:
english
파일:
PDF, 1.66 MB
0 / 5.0
english, 2011
13
Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness

Jan von Plato
년:
2024
언어:
english
파일:
PDF, 4.13 MB
0 / 5.0
english, 2024
14
Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

Sara Negri, Jan von Plato
년:
2011
언어:
english
파일:
PDF, 972 KB
0 / 0
english, 2011
15
Structural Proof Theory

Structural Proof Theory

Sara Negri, Jan von Plato, Aarne Ranta (Appendix)
년:
2008
언어:
english
파일:
DJVU, 1.45 MB
0 / 0
english, 2008
16
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective

Jan Von Plato
년:
1998
언어:
english
파일:
DJVU, 2.41 MB
0 / 0
english, 1998
20
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

Jan von Plato
년:
2017
언어:
english
파일:
PDF, 2.11 MB
0 / 0
english, 2017